Constraining Pictures with Pictures
نویسندگان
چکیده
This paper presents a visual language called Miro for specifying and restricting operating system security configurations. A Miro picture specifies exactly what rights users have on files. A Miro constraint, also stated visually, restricts the set of Miro pictures which are considered legal. Such constraints on pictures give an exact specification of security policies and a practical method for alerting users to potential security holes. The language is easy to use and succinct. This research was sponsored by IBM and the Maryland Procurement Office under Contract No. MDA904-88-C-6005. Additional support for J. Wing was provided in part by the National Science Foundation under grant CCR-8620027 and for J. D. Tygar under a Presidential Young Investigator Award, Contract No, CCR-8858087. M. Maimone (under contract N00014-88-K-0641) and A. Moormann are also supported by fellowships from the Office of Naval Research. The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of the Defense Advanced Research Projects Agency or the US Government.
منابع مشابه
Loss concealment using B-pictures motion information
In this work, the motion parameters of the bi-directionally predicted pictures (B-pictures) of MPEG-1,2 are exploited for concealment of large portions of corrupted anchor pictures that might arise due to channel errors or packet losses. To further enhance the quality of the concealed anchor pictures, we propose two methods of constraining the motion vectors of the B-pictures that strengthen th...
متن کاملOscillatory brain responses in spoken word production reflect lexical frequency and sentential constraint.
Two fundamental factors affecting the speed of spoken word production are lexical frequency and sentential constraint, but little is known about their timing and electrophysiological basis. In the present study, we investigated event-related potentials (ERPs) and oscillatory brain responses induced by these factors, using a task in which participants named pictures after reading sentences. Sent...
متن کاملMeaning and modality: influences of context, semantic memory organization, and perceptual predictability on picture processing.
Using event-related potentials (ERPs), the authors investigated the influences of sentence context, semantic memory organization, and perceptual predictability on picture processing. Participants read pairs of highly or weakly constraining sentences that ended with (a) the expected item, (b) an unexpected item from the expected semantic category, or (c) an unexpected item from an unexpected cat...
متن کاملChronic Pain and Selective Attention to Pain Arousing Daily Activity Pictures: Evidence From an Eye Tracking Study
Introduction: According to the pain research literature, attentional bias for pain is the mechanism responsible for the development and maintenance of fear of pain in patients with chronic pain. However, there is still some debate about the exact mechanism and the role of faster engagement versus difficulty in disengagement in the development of attentional bias. Methods: To investigate ...
متن کاملVisual Elements Used in Iran EFL High School Textbooks
The present study investigates the central concerns of the use of visuals within the four EFL textbooks taught at Iranian high schools which have been prescribed by the Ministry of Education. To do this, the four EFL textbooks were evaluated and analyzed. Descriptive statistics were used to analyze data quantitatively. The analysis indicated that over the four textbooks, 95.71 percent of all vi...
متن کامل